Provable transient recovery for frame-based, fault-tolerant computing systems

نویسندگان

  • Ben L. Di Vito
  • R. W. Butler
چکیده

We present a formal veriication of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital ight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the eeects of transient faults. The system design has been formally speci-ed and veriied using the Ehdm veriication system. Our formalization accommodates a wide variety of voting schemes for purging the eeects of transients.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Provable Transient Recovery for Frame-based, Fault-tolerant Computing Systems 1

We present a formal veriication of the transient fault recovery aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system architecture for digital ight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the eeects of transient faults. The system design has been formally speci-ed and veriied using the Ehdm veriic...

متن کامل

Fault Tolerant DNA Computing Based on ‎Digital Microfluidic Biochips

   Historically, DNA molecules have been known as the building blocks of life, later on in 1994, Leonard Adelman introduced a technique to utilize DNA molecules for a new kind of computation. According to the massive parallelism, huge storage capacity and the ability of using the DNA molecules inside the living tissue, this type of computation is applied in many application areas such as me...

متن کامل

An approach to fault detection and correction in design of systems using of Turbo ‎codes‎

We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...

متن کامل

Fault-Tolerant Real-Time Mach: A Timeline-based approach

Even though real-time systems have the stringent constraint of completing tasks before their deadlines, many existing real-time operating systems do not implement fault tolerance capabilities. In this paper we describe the development and implementation of a non-preemptive fault tolerant real-time policy for aperiodic dynamic tasks. We implemented non-preemptive fault-tolerant scheduling and re...

متن کامل

Influence of Fault Current Limiter in Voltage Drop and TRV Considering Wind Farm

Influence of distributed generation systems in the distribution systems can increase the level of short-circuit current. The effectiveness of distributed generation systems is affected by the size, location, type of distributed generation systems technology, and the methods of connecting to distribution systems. Wind turbine system is the examples of distributed generation source. Not only does...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1992